An Overview of the Tatami Project
نویسندگان
چکیده
This paper describes the Tatami project at UCSD, which is developing a system to support distributed cooperative software development over the web, and in particular, the validation of concurrent distributed software. The main components of our current prototype are a proof assistant, a generator for documentation websites, a database, an equational proof engine, and a communication protocol to support distributed cooperative work. We believe behavioral speci cation and veri cation are important for software development, and for this purpose we use rst order hidden logic with equational atoms. The paper also brie y describes some novel user interface design methods that have been developed and applied in the project.
منابع مشابه
Editorial : Sustainable Development of Cognitive Science and Technology Ecosystem an Overview to the “Human Brain Project” as a Functioning Sample
متن کامل
Improvement of project management office performance: An empirical investigation of effective factors in iranian construction industry
Project management office (PMO) is a new emerging concept in Iranian construction industry. Executives expect this organizational unit to add value to the business, and meet the demands of stakeholders by performing specialized tasks ranging from providing project management support to portfolio management. In this regard, PMO managers have long faced the question of how to improve the performa...
متن کاملWeb-based Multimedia Support for Distributed Cooperative Software Engineering1
The Tatami project is building a system to support software engineering over the internet, exploiting recent advances in web technology, interface design, and specification. Our effort to improve the usability of such systems led us into algebraic semiotics, while our effort to develop better formal methods for distributed concurrent systems led us into hidden algebra. We discuss the Tatami sys...
متن کاملCounting Fixed-Height Tatami Tilings
A tatami tiling is an arrangement of 1 × 2 dominoes (or mats) in a rectangle with m rows and n columns, subject to the constraint that no four corners meet at a point. For fixed m we present and use Dean Hickerson’s combinatorial decomposition of the set of tatami tilings — a decomposition that allows them to be viewed as certain classes of restricted compositions when n ≥ m. Using this decompo...
متن کاملAuspicious Tatami Mat Arrangements
The main purpose of this paper is to introduce the idea of tatami tilings, and to present some of the many interesting and fun questions that arise when studying them. Roughly speaking, we are considering are tilings of rectilinear regions with 1×2 dimer tiles and 1×1 monomer tiles, with the constraint that no four corners of the tiles meet. Typical problems are to minimize the number of monome...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1999